//
//  lhost.h
//  ltlbmc
//
//  Created by GD Huang on 5/22/12.
//  Copyright (c) 2012 __MyCompanyName__. All rights reserved.
//

#ifndef ltlbmc_lhost_h
#define ltlbmc_lhost_h

#include "astVisitor.h"
#include "OCamlObject.h"

namespace cilast {
    
    class exp;
    class varinfo;
    class astVisitor;
    
    class lhost : public OCamlObject {
    public:
        virtual int accept(astVisitor*);
        
    };
    
    class Var : public lhost {
    public:    
        varinfo* mvarinfo;
        
        int accept(astVisitor*);
    };
    
    class Mem : public lhost {
    public:    
        exp* mexp;
        
        int accept(astVisitor*);
    };
    
}
#endif
